# typed: true

case foo; in {} then true; end
